$\forall$$x$:Top. inr($x$) $=$ false$_{2}$ $\in$ Decision